Hash implements
    hash : a
        -> U64

1